product rule for logarithms